1. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Author: Radhia Cousot )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2694
2. Verification, model checking, and abstract interpretatio
Author: / Radhia Cousot (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
V53
,
2005
3. Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Author: Radhia Cousot )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programs -- Verification
Classification :
QA
76
.
L28
Vol
.
3385
